Semantical Considerations on Nonmonotonic Logic

نویسنده

Robert C. Moore

چکیده

Commonsense reasoning is "nonmonotonic" in the sense that we often draw conclusions on the basis of partial information that we retract when we are given more complete information. Some of the most interesting products of the recent attempts to formalize nonmonotonic reasoning are the nonmonotonic logics of McDermott and Doyle [McDermott and Doyle, 1980] [McDermott, 1982]. These logics, however, all have peculiarities that suggest they do not quite succeed in capturing the intuitions that prompted their development. In this paper we give a reconstruction of nonmonotonic logic as a model of an Ideally rational agent's reasoning about his own beliefs. For the resulting system, called autoeplstemlc logic, we define an Intuitively based semantics for which we can show autoeplstemlc logic to be both sound and complete. We then compare the McDermott and Doyle logics to autoeplstemlc logic, showing how it avoids their peculiarities.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract)

In this paper five levels of specification of nonmonotonic reasoning are distinguished. The notions of semantical frame, belief state frame and reasoning frame are introduced and used as a semantical basis for the first three levels. Moreover, the semantical connections between the levels are formalized. It is shown that this general semantical framework is applicable for some well-known approa...

متن کامل

Contributions to the Theory of Nonmonotonic Inference Systems

In the present paper an approach to nonmonotonic reasoning is discussed which is inspired by the paradigm of abstract model theory. The aim is to analyse non-monotonic reasoning within the framework of inference operations based on model operators. This is done by using the concept of a deductive frame and its semantical counterpart, a semantical frame. These are considered as a basis for nonmo...

متن کامل

Specification of nonmonotonic reasoning

Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: (1) a specification language for level 1, wit...

متن کامل